A Solution to Dilworth’s Congruence Lattice Problem
نویسندگان
چکیده
We construct an algebraic distributive lattice D that is not isomorphic to the congruence lattice of any lattice. This solves a long-standing open problem, traditionally attributed to R. P. Dilworth, from the forties. The lattice D has compact top element and אω+1 compact elements. Our results extend to any algebra possessing a polynomially definable structure of a joinsemilattice with largest element.
منابع مشابه
A Uniform Refinement Property for Congruence Lattices
The Congruence Lattice Problem asks whether every algebraic distributive lattice is isomorphic to the congruence lattice of a lattice. It was hoped that a positive solution would follow from E. T. Schmidt’s construction or from the approach of P. Pudlák, M. Tischendorf, and J. Tůma. In a previous paper, we constructed a distributive algebraic lattice A with א2 compact elements that cannot be ob...
متن کاملCongruence Lifting of Diagrams of Finite Boolean Semilattices Requires Large Congruence Varieties
We construct a diagram D⊲⊳, indexed by a finite partially ordered set, of finite Boolean 〈∨, 0, 1〉-semilattices and 〈∨, 0, 1〉-embeddings, with top semilattice 2, such that for any variety V of algebras, if D⊲⊳ has a lifting, with respect to the congruence lattice functor, by algebras and homomorphisms in V, then there exists an algebra U in V such that the congruence lattice of U contains, as a...
متن کاملFUZZY CONVEX SUBALGEBRAS OF COMMUTATIVE RESIDUATED LATTICES
In this paper, we define the notions of fuzzy congruence relations and fuzzy convex subalgebras on a commutative residuated lattice and we obtain some related results. In particular, we will show that there exists a one to one correspondence between the set of all fuzzy congruence relations and the set of all fuzzy convex subalgebras on a commutative residuated lattice. Then we study fuzzy...
متن کاملTHE LATTICE OF CONGRUENCES ON A TERNARY SEMIGROUP
In this paper we investigate some properties of congruences on ternary semigroups. We also define the notion of congruence on a ternary semigroup generated by a relation and we determine the method of obtaining a congruence on a ternary semigroup T from a relation R on T. Furthermore we study the lattice of congruences on a ternary semigroup and we show that this lattice is not generally modular...
متن کاملThe Strong Independence Theorem for Automorphism Groups and Congruence Lattices of Arbitrary Lattices
In the book, General Lattice Theory, the first author raised the following problem (Problem II.18): Let L be a nontrivial lattice and let G be a group. Does there exist a lattice K such that K and L have isomorphic congruence lattices and the automorphism group of K is isomorphic to G? The finite case was solved, in the affirmative, by V.A. Baranskĭı and A. Urquhart in 1978, independently. In 1...
متن کامل